Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — modelinis bandymas statusas T sritis radioelektronika atitikmenys: angl. simulation test vok. Modellprüfung, f rus. испытание на модели, n pranc. essai sur modèle simulateur, m … Radioelektronikos terminų žodynas
Edmund Clarke — Edmund Melson Clarke, Jr. (* 27. Juli 1945) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik Professor an der Carnegie… … Deutsch Wikipedia
Edmund M. Clarke — 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist… … Deutsch Wikipedia
Beweis-Assistent — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… … Deutsch Wikipedia
Beweisassistent — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… … Deutsch Wikipedia
Theorembeweis — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… … Deutsch Wikipedia
Theorembeweisen — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… … Deutsch Wikipedia
Theorembeweiser — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… … Deutsch Wikipedia
E. Allen Emerson — Ernest Allen Emerson (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of … Deutsch Wikipedia
